Sakallah, Karem A.: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

The world's largest scientific articles store. 70,000,000+ articles for free.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

1

Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints

Mark H. Liffiton, Karem A. Sakallah

Journal:

Journal of Automated Reasoning

Year:

2008

Language:

english

File:

PDF, 876 KB

english, 2008

2

[ACM Press the 1999 international symposium - Monterey, California, United States (1999.04.12-1999.04.14)] Proceedings of the 1999 international symposium on Physical design - ISPD '99 - Transistor level micro-placement and routing for two-dimensional digital VLSI cell synthesis

Riepe, Michael A., Sakallah, Karem A.

Year:

1999

Language:

english

File:

PDF, 1.23 MB

english, 1999

3

[ACM Press the 1999 ACM/SIGDA seventh international symposium - Monterey, California, United States (1999.02.21-1999.02.23)] Proceedings of the 1999 ACM/SIGDA seventh international symposium on Field programmable gate arrays - FPGA '99 - Satisfiability-based layout revisited

Nam, Gi-Joon, Sakallah, Karem A., Rutenbar, Rob A.

Year:

1999

Language:

english

File:

PDF, 2.08 MB

english, 1999

4

[ACM Press the 45th annual conference - Anaheim, California (2008.06.08-2008.06.13)] Proceedings of the 45th annual conference on Design automation - DAC '08 - Faster symmetry discovery using sparsity of symmetries

Darga, Paul T., Sakallah, Karem A., Markov, Igor L.

Year:

2008

Language:

english

File:

PDF, 426 KB

english, 2008

5

Dynamic symmetry-breaking for Boolean satisfiability

Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 410 KB

english, 2009

6

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas

Mark Liffiton, Maher Mneimneh, Inês Lynce, Zaher Andraus, João Marques-Silva, Karem Sakallah

Journal:

Year:

2009

Language:

english

File:

PDF, 712 KB

english, 2009

7

Selection of Voltage Thresholds for Delay Measurement

V. Chandramouli, Karem A. Sakallah

Journal:

Analog Integrated Circuits and Signal Processing

Year:

1997

Language:

english

File:

PDF, 631 KB

english, 1997

8

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2007 Volume 4501 || Inversion Attacks on Secure Hash Functions Using sat Solvers

Marques-Silva, João, Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 258 KB

english, 2007

9

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing - SAT 2011 Volume 6695 || DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions

Sakallah, Karem A., Simon, Laurent

Year:

2011

Language:

english

File:

PDF, 321 KB

english, 2011

10

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing - SAT 2011 Volume 6695 || On Freezing and Reactivating Learnt Clauses

Sakallah, Karem A., Simon, Laurent

Year:

2011

Language:

english

File:

PDF, 332 KB

english, 2011

11

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2007 Volume 4501 ||

Marques-Silva, João, Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 7.14 MB

english, 2007

12

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Improved Design Debugging Using Maximum Satisfiability

Safarp, Sean, Mangassarian, Hratch, Veneris, Andreas, Liffiton, Mark H., Sakallah, Karem A.

Year:

2007

Language:

english

File:

PDF, 185 KB

english, 2007

13

[IEEE 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - San Jose, CA, USA (2013.11.18-2013.11.21)] 2013 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Generalized Boolean symmetries through nested partition refinement

Katebi, Hadi, Sakallah, Karem A., Markov, Igor L.

Year:

2013

Language:

english

File:

PDF, 964 KB

english, 2013

14

Solution and Optimization of Systems of Pseudo-Boolean Constraints

Aloul, Fadi A., Ramani, Arathi, Sakallah, Karem A., Markov, Igor L.

Journal:

IEEE Transactions on Computers

Year:

2007

Language:

english

File:

PDF, 2.56 MB

english, 2007

15

[IEEE 2006 IEEE/ACM International Conference on Computer Aided Design - Double Tree Hotel, San Jose, CA,USA (2006.11.5-2006.11.9)] 2006 IEEE/ACM International Conference on Computer Aided Design - SMT(CLU): A Step toward Scalability in System Verification

Sheini, Hossein, Sakallah, Karem

Year:

2006

Language:

english

File:

PDF, 10.18 MB

english, 2006

16

[IEEE 2006 Formal Methods in Computer Aided Design - San Jose, CA (2006.11.12-2006.11.12)] 2006 Formal Methods in Computer Aided Design - Ario: A Linear Integer Arithmetic Logic Solver

Sheini, Hossein, Sakallah, Karem

Year:

2006

Language:

english

File:

PDF, 119 KB

english, 2006

17

[IEEE 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI) - Herndon, VA, USA (2013.11.4-2013.11.6)] 2013 IEEE 25th International Conference on Tools with Artificial Intelligence - Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms

Codenotti, Paolo, Katebi, Hadi, Sakallah, Karem A., Markov, Igor L.

Year:

2013

Language:

english

File:

PDF, 399 KB

english, 2013

18

[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - SATIRE

Whittemore, Jesse, Kim, Joonyoung, Sakallah, Karem

Year:

2001

Language:

english

File:

PDF, 106 KB

english, 2001

19

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing - SAT 2011 Volume 6695 || Analyzing the Instances of the MaxSAT Evaluation

Sakallah, Karem A., Simon, Laurent

Year:

2011

Language:

english

File:

PDF, 86 KB

english, 2011

20

[ACM Press the 2003 conference - Kitakyushu, Japan (2003.01.21-2003.01.24)] Proceedings of the 2003 conference on Asia South Pacific design automation - ASPDAC - SAT-based sequential depth computation

Mneimneh, Maher, Sakallah, Karem

Year:

2003

Language:

english

File:

PDF, 103 KB

english, 2003

21

[ACM Press the 2006 IEEE/ACM international conference - San Jose, California (2006.11.05-2006.11.09)] Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design - ICCAD '06 - SMT( CLU )

Sheini, Hossein M., Sakallah, Karem A.

Year:

2006

Language:

english

File:

PDF, 319 KB

english, 2006

22

[ACM Press Conference proceedings - Orlando, Florida, United States (1990.06.24-1990.06.27)] Conference proceedings on 27th ACM/IEEE design automation conference - DAC '90 - Analysis and design of latch-controlled synchronous digital circuits

Sakallah, Karem A., Mudge, Trevor N., Olukotun, Oyekunle A.

Year:

1990

Language:

english

File:

PDF, 700 KB

english, 1990

23

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - Dynamic search-space pruning techniques in path sensitization

Silva, João P. Marques, Sakallah, Karem A.

Year:

1994

Language:

english

File:

PDF, 79 KB

english, 1994

24

Symmetry breaking for pseudo-Boolean formulas

Aloul, Fadi A., Ramani, Arathi, Markov, Igor L., Sakallah, Karem A.

Journal:

Journal of Experimental Algorithmics

Year:

2008

Language:

english

File:

PDF, 215 KB

english, 2008

25

The edge-based design rule model revisited

Riepe, Michael A., Sakallah, Karem A.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

1998

Language:

english

File:

PDF, 288 KB

english, 1998

26

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - M32

Kravets, Victor N., Sakallah, Karem A.

Year:

1998

Language:

english

File:

PDF, 367 KB

english, 1998

27

[ACM Press the 2005 conference - Shanghai, China (2005.01.18-2005.01.21)] Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05 - Dynamic symmetry-breaking for improved Boolean optimization

Aloul, Fadi A., Ramani, Arathi, Markov, Igor L., Sakallah, Karem A.

Year:

2005

Language:

english

File:

PDF, 315 KB

english, 2005

28

[ACM Press the 2006 conference - Yokohama, Japan (2006.01.24-2006.01.27)] Proceedings of the 2006 conference on Asia South Pacific design automation - ASP-DAC '06 - Refinement strategies for verification methods based on datapath abstraction

Andraus, Zaher S., Liffiton, Mark H., Sakallah, Karem A.

Year:

2006

Language:

english

File:

PDF, 144 KB

english, 2006

29

[ACM Press the 8th ACM Conference - Aarhus, Denmark (2010.08.16-2010.08.20)] Proceedings of the 8th ACM Conference on Designing Interactive Systems - DIS '10 - Incorporating user control in automated interactive scheduling systems

Huh, Jina, Pollack, Martha, Katebi, Hadi, Sakallah, Karem, Kirsch, Ned

Year:

2010

Language:

english

File:

PDF, 259 KB

english, 2010

30

[ACM Press the 27th Annual Computer Security Applications Conference - Orlando, Florida (2011.12.05-2011.12.09)] Proceedings of the 27th Annual Computer Security Applications Conference on - ACSAC '11 - Distilling critical attack graph surface iteratively through minimum-cost SAT solving

Huang, Heqing, Zhang, Su, Ou, Xinming, Prakash, Atul, Sakallah, Karem

Year:

2011

File:

PDF, 1.32 MB

2011

31

[ACM Press the 32nd ACM/IEEE conference - San Francisco, California, United States (1995.06.12-1995.06.16)] Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 - The Aurora RAM compiler

Chandna, Ajay, Kibler, C. David, Brown, Richard B., Roberts, Mark, Sakallah, Karem A.

Year:

1995

Language:

english

File:

PDF, 435 KB

english, 1995

32

[ACM Press the 37th conference - Los Angeles, California, United States (2000.06.05-2000.06.09)] Proceedings of the 37th conference on Design automation - DAC '00 - Boolean satisfiability in electronic design automation

Marques-Silva, João P., Sakallah, Karem A.

Year:

2000

Language:

english

File:

PDF, 54 KB

english, 2000

33

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - An experimental study of satisfiability search heuristics (poster paper)

Aloul, Fadi A., Marques-Silva, João P., Sakallah, Karem A.

Year:

2000

Language:

english

File:

PDF, 17 KB

english, 2000

34

[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - Scalable hybrid verification of complex microprocessors

Mneimneh, Maher, Aloul, Fadi, Weaver, Chris, Chatterjee, Saugata, Sakallah, Karem, Austin, Todd

Year:

2001

Language:

english

File:

PDF, 147 KB

english, 2001

35

[ACM Press the 2002 international symposium - San Diego, CA, USA (2002.04.07-2002.04.10)] Proceedings of the 2002 international symposium on Physical design - ISPD '02 - sub-SAT

Xu, Hui, Rutenbar, Rob A., Sakallah, Karem

Year:

2002

Language:

english

File:

PDF, 176 KB

english, 2002

36

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Satometer:

Aloul, Fadi A., Sierawski, Brian D., Sakallah, Karem A.

Year:

2002

Language:

english

File:

PDF, 588 KB

english, 2002

37

[ACM Press the 39th conference - New Orleans, Louisiana, USA (2002.06.10-2002.06.14)] Proceedings of the 39th conference on Design automation - DAC '02 - Solving difficult SAT instances in the presence of symmetry

Aloul, Fadi A., Ramani, Arathi, Markov, Igor L., Sakallah, Karem A.

Year:

2002

Language:

english

File:

PDF, 370 KB

english, 2002

38

Satisfiability models and algorithms for circuit delay computation

Guerra e Silva, Luís, Marques-Silva, João, Silveira, L. Miguel, Sakallah, Karem A.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2002

Language:

english

File:

PDF, 265 KB

english, 2002

39

Transistor placement for noncomplementary digital VLSI cell synthesis

Riepe, Michael A., Sakallah, Karem A.

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2003

Language:

english

File:

PDF, 2.84 MB

english, 2003

40

[ACM Press the 2002 IEEE/ACM international conference - San Jose, California (2002.11.10-2002.11.14)] Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02 - Resynthesis of multi-level circuits under tight constraints using symbolic optimization

Kravets, Victor N., Sakallah, Karem A.

Year:

2002

Language:

english

File:

PDF, 164 KB

english, 2002

41

[ACM Press the 41st annual conference - San Diego, CA, USA (2004.06.07-2004.06.11)] Proceedings of the 41st annual conference on Design automation - DAC '04 - AMUSE

Oh, Yoonna, Mneimneh, Maher N., Andraus, Zaher S., Sakallah, Karem A., Markov, Igor L.

Year:

2004

Language:

english

File:

PDF, 287 KB

english, 2004

42

[ACM Press the 41st annual conference - San Diego, CA, USA (2004.06.07-2004.06.11)] Proceedings of the 41st annual conference on Design automation - DAC '04 - Exploiting structure in symmetry detection for CNF

Darga, Paul T., Liffiton, Mark H., Sakallah, Karem A., Markov, Igor L.

Year:

2004

Language:

english

File:

PDF, 128 KB

english, 2004

43

[ACM Press the 41st annual conference - San Diego, CA, USA (2004.06.07-2004.06.11)] Proceedings of the 41st annual conference on Design automation - DAC '04 - Automatic abstraction and verification of verilog models

Andraus, Zaher S., Sakallah, Karem A.

Year:

2004

Language:

english

File:

PDF, 237 KB

english, 2004

44

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - On applying incremental satisfiability to delay fault testing

Kim, Joonyoung, Whittemore, Jesse, Marques-Silva, João P., Sakallah, Karem

Year:

2000

Language:

english

File:

PDF, 108 KB

english, 2000

45

[ACM Press the 35th annual conference - San Francisco, California, United States (1998.06.15-1998.06.19)] Proceedings of the 35th annual conference on Design automation conference - DAC '98 - Congestion driven quadratic placement

Parakh, Phiroze N., Brown, Richard B., Sakallah, Karem A.

Year:

1998

Language:

english

File:

PDF, 65 KB

english, 1998

46

[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Modeling the effects of temporal proximity of input transitions on gate propagation delay and transition time

Chandramouli, V., Sakallah, Karem A.

Year:

1996

Language:

english

File:

PDF, 121 KB

english, 1996

47

[ACM Press the 2002 IEEE/ACM international conference - San Jose, California (2002.11.10-2002.11.14)] Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design - ICCAD '02 - Generic ILP versus specialized 0-1 ILP

Aloul, Fadi A., Ramani, Arathi, Markov, Igor L., Sakallah, Karem A.

Year:

2002

Language:

english

File:

PDF, 218 KB

english, 2002

48

[ACM Press the 36th ACM/IEEE conference - New Orleans, Louisiana, United States (1999.06.21-1999.06.25)] Proceedings of the 36th ACM/IEEE conference on Design automation conference - DAC '99 - Functional timing analysis for IP characterization

Yalcin, Hakan, Mortazavi, Mohammad, Palermo, Robert, Bamji, Cyrus, Sakallah, Karem

Year:

1999

Language:

english

File:

PDF, 632 KB

english, 1999

49

[ACM Press the 2001 international symposium - Sonoma, California, United States (2001.04.01-2001.04.04)] Proceedings of the 2001 international symposium on Physical design - ISPD '01 - A comparative study of two Boolean formulations of FPGA detailed routing constraints

Nam, Gi-Joon, Aloul, Fadi, Sakallah, Karem, Rutenbar, Rob

Year:

2001

Language:

english

File:

PDF, 218 KB

english, 2001

50

[ACM Press the conference - Paris, France (2000.03.27-2000.03.30)] Proceedings of the conference on Design, automation and test in Europe - DATE '00 - Constructive library-aware synthesis using symmetries

Kravets, Victor N., Sakallah, Karem A.

Year:

2000

Language:

english

File:

PDF, 200 KB

english, 2000